A Generalized Framework for Reasoning with Multi-Point Events
نویسندگان
چکیده
Allen’s Interval Algebra (IA) and Vilain and Kautz’s Point Algebra (PA) consider an interval and a point as basic temporal entities (i.e., events) respectively. However, in many real world situations we often need to deal with recurring events that include multiple points, multiple intervals or combinations of points and intervals. Recently, we presented a multiple-point event (MPE) framework to represent relations over recurring point events and showed that it can handle pointisable interval relations (SIA). We also showed that computing a minimal MPE network is a polynomial solvable problem. However, the MPE framework cannot correctly capture the relation between three points called a discontinuous point relation and this has not been satisfactorily addressed in the literature. In this paper, we extend MPE to a general framework that is expressive enough to represent discontinuous point relations and other complex situations which are relationships between single events (i.e., point-interval, and interval-interval relations), and clusters of events (i.e., recurring point-point and interval-interval relations). Further we developed a path-consistency algorithm for computing the minimal network for a generalised MPE network and improved our earlier pathconsistency algorithm for MPE networks. We then present an analysis of experimental results on the implementation of these algorithms.
منابع مشابه
Strict fixed points of '{C}iri'{c}-generalized weak quasicontractive multi-valued mappings of integral type
Many authors such as Amini-Harandi, Rezapour et al., Kadelburg et al., have tried to find at least one fixed point for quasi-contractions when $alphain[frac{1}{2}, 1)$ but no clear answer exists right now and many of them either have failed or changed to a lighter version. In this paper, we introduce some new strict fixed point results in the set of multi-valued '{C}iri'{c}-gener...
متن کاملConvergence theorems of multi-step iterative algorithm with errors for generalized asymptotically quasi-nonexpansive mappings in Banach spaces
The purpose of this paper is to study and give the necessary andsufficient condition of strong convergence of the multi-step iterative algorithmwith errors for a finite family of generalized asymptotically quasi-nonexpansivemappings to converge to common fixed points in Banach spaces. Our resultsextend and improve some recent results in the literature (see, e.g. [2, 3, 5, 6, 7, 8,11, 14, 19]).
متن کاملUtilizing Generalized Learning Automata for Finding Optimal Policies in MMDPs
Multi agent Markov decision processes (MMDPs), as the generalization of Markov decision processes to the multi agent case, have long been used for modeling multi agent system and are used as a suitable framework for Multi agent Reinforcement Learning. In this paper, a generalized learning automata based algorithm for finding optimal policies in MMDP is proposed. In the proposed algorithm, MMDP ...
متن کاملA Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts
Collaborative paradigms are essential in ubiquitous computing. Swarm intelligence can deal with complex problems deriving from the intrinsically unpredictable nature of mobile and pervasive scenarios. This paper introduces a novel reasoning framework for information fusion in multi-agent systems, encompassing a data dissemination protocol and non-standard, non-monotonic inference services. It e...
متن کاملConstitutive Model for Multi-laminate Induced Anisotropic Double Hardening Elastic-plasticity of Sand
A constitutive multi-laminate based elastic-plastic model developed to be capable of accounting induced anisotropic behavior of granular material such as sand. The fabric feature or grain orientation characteristic effects through medium are considered in a rational way under any complex stress path, including cyclic loading. The salient feature of the developed model is a non-associative on pl...
متن کامل